Sbmm Proof